Records, variants and qualified types
نویسنده
چکیده
viii
منابع مشابه
First-class labels for extensible rows
This paper describes a type system for extensible records and variants with first-class labels; labels are polymorphic and can be passed as arguments. This increases the expressiveness of conventional record calculi significantly, and we show how we can encode intersection types, closed-world overloading, type case, label selective calculi, and first-class messages. We formally motivate the nee...
متن کاملMast cells and histopathologic variants of basal cell carcinoma
Background and aim: The stroma of basal cell carcinoma (BCC) is rich in mast cells. Morpheaform BCC has been reported to contain much more mast cells than the other types of BCC, but their significance remains unknown. In this study we investigated the significance of mast cells related to BCC and possible relationship between increased number of mast cells and clinical and histological p...
متن کاملCrystallography of the B 2 → R → B 19 ′ phase transformations in NiTi
The crystallography of B2 to R-phase and the subsequent R-phase to B19′ martensite transitions was analysed in NiTi alloys. Using the energy minimization theory of martensitic transformations, the habit plane and twin plane normals were established for the R-phase, B19′ martensite variants as a function of rhombohedral angle . Two types of twins, classified as {1 0 0}〈0 1 1〉 and {1 1 0}〈0 0 1〉 ...
متن کاملExtensible records with scoped labels
Records provide a safe and flexible way to construct data structures. We describe a natural approach to typing polymorphic and extensible records that is simple, easy to use in practice, and straightforward to implement. A novel aspect of this work is that records can contain duplicate labels, effectively introducing a form of scoping over the labels. Furthermore, it is a fully orthogonal exten...
متن کامل'Doing the writing' and 'working in parallel': how 'distal nursing' affects delegation and supervision in the emerging role of the newly qualified nurse.
BACKGROUND The role of the acute hospital nurse has moved away from the direct delivery of patient care and more towards the management of the delivery of bedside care by healthcare assistants. How newly qualified nurses delegate to and supervise healthcare assistants is important as failures can lead to care being missed, duplicated and/or incorrectly performed. OBJECTIVES The data described...
متن کامل